using System;
using System.Diagnostics.Contracts;

namespace Beaker.Injection
{
	/// <summary>
	/// Code Contracts for the <see cref="IInjectionModule"/> interface.
	/// </summary>
	[ContractClassFor(typeof(IInjectionModule))]
	abstract class InjectionModuleContracts
		: IInjectionModule
	{
		public void Register(IContainerBuilder builder)
		{
			Contract.Requires<ArgumentNullException>(builder != null, "container");
			throw new NotImplementedException();
		}
	}
}